Integer data types in C